perm filename LOSS.1[TIM,LSP]16 blob
sn#753242 filedate 1984-05-01 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00015 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 (declare
C00006 00003 (baz 50)
C00007 00004
C00008 00005 dir *.tim/foo
C00010 00006 (load "fmeter.lsp")
C00011 00007 (fasload float)
C00012 00008 (fasload float)
C00015 00009 (fasload float)
C00022 00010
C00023 00011 (load "chart.lsp")
C00035 00012 (array p fixnum 100)
C00036 00013 (fasload puzzl1)
C00037 00014 Here are the ones I've done so far:
C00066 00015 ∂30-Apr-84 1241 KESSLER@UTAH-20.ARPA Cray timings
C00089 ENDMK
C⊗;
(declare
(fasload meter fas))
(declare
(setq meter:count-only t))
;(meter:meter baz
; (meter-funs ((+ "+'s")(= "='s"))
; (defun baz (n)
; (do ((n n (1- n))
; (a 0))
; ((= n 0) a)
; (foo n)
; (setq a (+ a n)))) )
; (meter-funs ((+ "+'s")(= "='s"))
; (defun foo (n)
; (do ((n n (1- n))
; (a 0))
; ((= n 0) a)
; (setq a (+ a n))))))
(meter:meter baz
(meter-funs ((+ "+'s")(= "='s")(foo "Calls to FOO"))
(defun baz (n)
(mn "baz" baz)
(do ((n n (1- n))
(a 0))
((= n 0) a)
(foo n)
(setq a (+ a n)))))
(meter-funs ((+ "+'s")(= "='s"))
(defun foo (n)
(mn "Foo" foo)
(do ((n n (1- n))
(a 0))
((= n 0) a)
(setq a (+ a n))))))
(meter:meter baz
(meter-funs ((cdr "cdr")(car "car")
(foo "Foo")(setq "Setq")
(cdar "car"car)(ztesch "Ztesch")
(cdar "cdr" cdr))
(defun baz (l)
(setq l (ztesch l))
(foo (car l)
(cdr l)
(cdar l)))))
;(baz 50)
;(meter:report-baz)
;Statistics
;= <calls> (<percentage>) [runtime (<percentage>)]
;
;Meter for: BAZ
;='s = 51 (33.77%) [0.0 (0.0%)]
;Calls to FOO = 50 (33.11%) [0.06 (100.0%)]
;+'s = 50 (33.11%) [0.0 (0.0%)]
;Total = 151 0.06
;
;Meter for: FOO
;='s = 1325 (50.96%) [0.02 (64.52%)]
;+'s = 1275 (49.04%) [0.011 (35.48%)]
;Total = 2600 0.031
;T
;(baz 50)
;(meter:report-baz)
;Statistics
= <calls> (<percentage>)
;
;Meter for: BAZ
;='s = 51 (33.77%)
;Calls to FOO = 50 (33.11%)
;+'s = 50 (33.11%)
;Total = 151
;
;Meter for: FOO
;='s = 1325 (50.96%)
;+'s = 1275 (49.04%)
;Total = 2600
Meter for: MATCH
Cars = 1319800 (34.63%) [10.632 (19.37%)]
Eqs = 755700 (19.83%) [6.953 (12.67%)]
Nulls = 504100 (13.23%) [4.369 (7.96%)]
Cdrs = 483400 (12.68%) [3.852 (7.02%)]
Conses = 239200 (6.28%) [21.24 (38.69%)]
Char1 = 226800 (5.95%) [6.777 (12.35%)]
MATCH = 213600 (5.6%)
Nconcs = 69000 (1.81%) [1.071 (1.95%)]
Returns = 0 (0.0%) [0.0 (0.0%)]
Total = 3811600 [54.894]
dir *.tim/foo
copy jqj.tim←SCCPP.TIM[TIM,LSP],DOLPHI.TIM[TIM,LSP],780.TIM[TIM,LSP],DOLPH.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,DERIV.TIM[TIM,LSP],TAK.TIM[TIM,LSP],DDERIV.TIM[TIM,LSP],FPRINT.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,PUZZLE.TIM[TIM,LSP],FRPOLY.TIM[TIM,LSP],TAKL.TIM[TIM,LSP],TAKR.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,CACHE.TIM[TIM,LSP],FFT.TIM[TIM,LSP],UNCACH.TIM[TIM,LSP],FDDERI.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,F2.TIM[TIM,LSP],TRIANG.TIM[TIM,LSP],BROWSE.TIM[TIM,LSP],DIV2.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,TPRINT.TIM[TIM,LSP],FREAD.TIM[TIM,LSP],BOYER.TIM[TIM,LSP],DESTRU.TIM[TIM,LSP]
copy jqj.tim←jqj.tim,PUZZL1.TIM[TIM,LSP],NREVER.TIM[TIM,LSP],TRAVER.TIM[TIM,LSP]
Exit
↑C
.
File already exists, DSK:JQJ.TIM[TIM,LSP].
Type Y to replace.
y
Exit
↑C
.
File already exists, DSK:JQJ.TIM[TIM,LSP].
Type Y to replace.
(plus 15339 2005 2005 1987 13)
(load "fmeter.lsp")
(setq meter:funs '((* "*")(+ "+")
(setq "setq's")
(1+ "1+'s")(store "Asets")
(- "-'s")(+ "+'s")(↑ "↑'s")(+$ "+$'s")(-$ "-$'s")(arraycall "Arefs")))
(fasload float)
(machar)
*ibeta*
*it*
*irnd*
*ngrd*
*machep*
*epsneg*
*negep*
*eps*
*iexp*
*minexp*
*maxexp*
*xmin*
*xmax*
(let ((a (square-root 2.0))) (*$ a a))
(sq (square-root 2365.2343))
(defun sq (x)(*$ x x))
(plist 'sqrt)
(sqrt 2.0)
(square-root 2.0)
(fasload float)
(fasload float)
(sqrt-test)
(TEST OF SQRT (X * X) - X)
(8000 RANDOM ARGUMENTS WERE TESTED IN THE INTERVAL (0.70710678 1.0))
(SQRT (X) WAS LARGER 618 TIMES)
(IT AGREED 7382 TIMES)
(IT WAS SMALLER 0 TIMES)
(THERE ARE 27 BASE 2 SIGNIFICANT DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 1.05350655E-8 = 2 ↑ -26.5002255 OCCURRED
FOR X = 0.707217306)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.499774456)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 2.61463252E-9 = 2 ↑ -28.5107443)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(TEST OF SQRT (X * X) - X)
(8000 RANDOM ARGUMENTS WERE TESTED IN THE INTERVAL (1.0 1.41421357))
(SQRT (X) WAS LARGER 3928 TIMES)
(IT AGREED 4072 TIMES)
(IT WAS SMALLER 0 TIMES)
(THERE ARE 27 BASE 2 SIGNIFICANT DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 1.48971613E-8 = 2 ↑ -26.0003872 OCCURRED
FOR X = 1.0002685)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.99961281)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 8.7896637E-9 = 2 ↑ -26.761545)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.238455057)
(TEST OF SPECIAL ARGUMENTS)
(SQRT (*XMIN*) = SQRT (2.93873587E-39) = 5.421011E-20)
(SQRT (1.0 - *EPSNEG*) = SQRT (1.0 - 7.4505806E-9) = 1.0)
(SQRT (1.0) = 1.00000001)
(SQRT (1.0 + *EPS*) = SQRT (1.0 + 7.4505806E-9) = 1.00000001)
(SQRT (*XMAX*) = SQRT (1.70141183E+38) = 1.30438179E+19)
(TEST OF ERROR RETURNS)
(SQRT WILL BE CALLED WITH AN ARGUMENT OF 0.0 THIS SHOULD NOT TRIGGER AN
ERROR)
(SQRT RETURNED THE VALUE 0.0)
(SQRT WILL BE CALLED WITH AN ARGUMENT OF -1.0 THIS SHOULD TRIGGER AN ERROR)
Square-root of a negative number
(SQRT RETURNED THE VALUE 0.0)
(THIS CONCLUDES THE TESTS)
T
(fasload float)
(fasload machar)
(setq *results* ())
(step arctan-test)
(arctan-test)
(show-results)
arctan2 called with u = 0.0 and v = 0.0
T
(TEST OF ARCTAN (X) VS TRUNCATED TAYLOR SERIES)
(2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL (-0.0625 0.0625))
(ARCTAN (X) WAS LARGER 0 TIMES)
(IT AGREED 2000 TIMES)
(IT WAS SMALLER 0 TIMES)
(THERE ARE 27 SIGNIFICANT BASE 2 DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 0.0 = 2 ↑ -999.0 OCCURRED FOR X = 0.0)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 0.0 = 2 ↑ -999.0)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(TEST OF ARCTAN (X) VS ARCTAN (1 // 16) + ARCTAN ((X - 1 // 16) // (1 +
X // 16)))
(2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL (0.0625 0.267949194))
(ARCTAN (X) WAS LARGER 305 TIMES)
(IT AGREED 1301 TIMES)
(IT WAS SMALLER 394 TIMES)
(THERE ARE 27 SIGNIFICANT BASE 2 DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 1.48773032E-8 = 2 ↑ -26.0023117 OCCURRED
FOR X = 0.255769014)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.99768829)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 6.10085046E-9 = 2 ↑ -27.2883422)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(TEST OF 2 * ARCTAN (X) VS ARCTAN (2X // (1 - X * X)))
(2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL (0.267949194 0.414213568))
(ARCTAN (X) WAS LARGER 465 TIMES)
(IT AGREED 1255 TIMES)
(IT WAS SMALLER 280 TIMES)
(THERE ARE 27 SIGNIFICANT BASE 2 DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 2.8151059E-8 = 2 ↑ -25.0822356 OCCURRED
FOR X = 0.271022182)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 1.91776443)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 7.2907918E-9 = 2 ↑ -27.0312774)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(2000 RANDOM ARGUMENTS WERE TESTED FROM THE INTERVAL (0.414213568 1.0))
(ARCTAN (X) WAS LARGER 755 TIMES)
(IT AGREED 1223 TIMES)
(IT WAS SMALLER 22 TIMES)
(THERE ARE 27 SIGNIFICANT BASE 2 DIGITS IN A FLOATING-POINT NUMBER)
(THE MAXIMUM RELATIVE ERROR OF 1.8836265E-8 = 2 ↑ -25.6619117 OCCURRED
FOR X = 0.41755109)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 1.33808827)
(THE ROOT MEAN SQUARE RELATIVE ERROR WAS 6.77307993E-9 = 2 ↑ -27.1375408)
(THE ESTIMATED LOSS OF BASE 2 SIGNIFICANT DIGITS IS 0.0)
(SPECIAL TESTS)
(THE IDENTITY: ARCTAN (-X) = -ARCTAN (X) WILL BE TESTED)
(X : F (X) + F (-X))
(0.277842846 : 0.0)
(4.7303558 : 0.0)
(1.29447147 : 0.0)
(1.80893339 : 0.0)
(1.116675 : 0.0)
(THE IDENTITY ARCTAN (X) = X FOR X SMALL WILL BE TESTED)
(X : X - F (X))
(6.83125204E-9 : 0.0)
(3.41562602E-9 : 0.0)
(1.70781301E-9 : 0.0)
(8.5390651E-10 : 0.0)
(4.26953256E-10 : 0.0)
(THE IDENTITY ARCTAN (X // Y) = ARCTAN2 (X Y) WILL BE TESTED)
(THE FIRST COLUMN OF RESULTS SHOULD BE 0 AND THE SECOND SHOULD BE +-π)
(X : Y : F1 (X // Y) - F2 (X Y) : F1 (X // Y) - F2 (X // -Y))
(0.437566936 : 0.173966983 : 0.0 : -3.14159265)
(0.98349154 : 0.234110685 : 0.0 : -3.14159265)
(-0.944657445 : 0.97945464 : 0.0 : 3.14159265)
(-0.27268049 : 0.97873473 : 0.0 : 3.14159265)
(-0.6326329 : 0.73022202 : 0.0 : 3.14159268)
(TEST OF VERY SMALL ARGUMENT)
(ARCTAN (1.2621776E-29) = 1.2621776E-29)
(TEST OF ERROR RETURNS)
(ARCTAN WILL BE CALLED WITH THE ARGUMENT 1.70141183E+38)
(THIS SHOULD NOT TRIGGER AN ERROR MESSAGE)
(ARCTAN (1.70141183E+38) = 1.57079633)
(ARCTAN2 WILL BE CALLED WITH THE ARGUMENTS 1.0 0.0)
(THIS SHOULD NOT TRIGGER AN ERROR MESSAGE)
(ARCTAN2 (1.0 0.0) = 1.57079633)
(ARCTAN2 WILL BE CALLED WITH THE ARGUMENTS 2.93873587E-39 1.70141183E+38)
(THIS SHOULD NOT TRIGGER AN ERROR MESSAGE)
(ARCTAN2 (2.93873587E-39 1.70141183E+38) = 1.57079633)
(ARCTAN2 WILL BE CALLED WITH THE ARGUMENTS 1.70141183E+38 2.93873587E-39)
(THIS SHOULD NOT TRIGGER AN ERROR MESSAGE)
(ARCTAN2 (1.70141183E+38 2.93873587E-39) = 0.0)
(ARCTAN2 WILL BE CALLED WITH THE ARGUMENTS 0.0 0.0)
(THIS SHOULD TRIGGER AN ERROR MESSAGE)
(ARCTAN2 (0.0 0.0) = 0.0)
(THIS CONCLUDES THE TESTS)
T
(load "chart.lsp")
(load "data.bch")
(fasload chart fas)
(fasload data fas)
(do-chart '(franz780 franz750 franz68k nil750))
Benchmark | 780 Franz | 750 Franz | Franz 68000 | 750 NIL |
-------------------------------------------------------------------|
| | | | |
Boyer | 71.5 | 111.45 | 139.86 | 165.11 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Browse | 170.25 | 261.14 | 413.03 | 2326.38 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Destruct | 13.73 | 15.63 | 22.99 | 17.91 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Traverse | | | | |
Initialize | 30.27 | 52.28 | - | - |
Traverse | 82.98 | 132.62 | - | - |
| | | | |
-------------------------------------------------------------------|
| | | | |
Tak | 8.29 | 14.8 | - | 8.32 |
| | | | |
-------------------------------------------------------------------|
| | | | |
STak | 6.32 | 11.18 | 11.17 | 46.38 |
| | | | |
-------------------------------------------------------------------|
| | | | |
CTak | 12.05 | 18.34 | 20.75 | 19.83 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Takl | 9.72 | 18.4 | 19.75 | 78.4 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Takr | 3.62 | 5.08 | - | 11.42 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Deriv | - | - | - | 47.32 |
| | | | |
-------------------------------------------------------------------|
| | | | |
DDeriv | - | - | - | 55.9 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Fdderiv | - | - | - | 54.74 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Div2 | | | | |
Iterative | 19.97 | 25.84 | 32.81 | 19.38 |
Recursive | 24.65 | 31.88 | 36.19 | 29.85 |
| | | | |
-------------------------------------------------------------------|
| | | | |
FFT | - | - | - | 73.76 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Puzzle | - | - | - | 995.87 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Triang | - | - | - | 1302.08 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Fprint | 0.61 | 1.23 | 1.43 | 75.88 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Fread | 1.48 | 2.34 | 2.81 | 55.8 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Tprint | 0.52 | 0.87 | 1.65 | 105.86 |
| | | | |
-------------------------------------------------------------------|
| | | | |
Frpoly | | | | |
Power = 2 | | | | |
r=x+y+z+1 | 0.02 | 0.05 | - | 0.04 |
r2=1000*r | 0.02 | 0.03 | - | 0.3 |
r3=r in flonums | 0.03 | 0.03 | - | 0.1 |
Power = 5 | | | | |
r=x+y+z+1 | 0.02 | 0.35 | - | 0.72 |
r2=1000*r | 0.38 | 1.75 | - | 4.3 |
r3=r in flonums | 0.22 | 1.69 | - | 0.85 |
Power = 10 | | | | |
r=x+y+z+1 | 2.33 | 6.75 | - | 7.73 |
r2=1000*r | 10.27 | 20.77 | - | 77.7 |
r3=r in flonums | 2.6 | 10.22 | - | 9.3 |
Power = 15 | | | | |
r=x+y+z+1 | 24.62 | 46.35 | - | 50.74 |
r2=1000*r | 116.88 | 222.6 | - | - |
r3=r in flonums | 31.85 | 52.47 | - | - |
| | | | |
-------------------------------------------------------------------|
T
(array p fixnum 100)
(defmacro seta (array index1 index2 value)
`(store (,array (+ ,index1 (* ,index2 2))) ,value))
(defmacro elt (array index1 index2)
`(,array (+ ,index1 (* ,index2 2))))
(let((n 0))
(do ((i 0 (1+ i)))
((= i 2.) t)
(do ((j 0 (1+ j)))
((= j 50.) t)
(seta p i j n) (setq n (1+ n)))))))
(do ((i 0 (1+ i)))
((= i 2.) t)
(do ((j 0 (1+ j)))
((= j 50.) t)
(print (elt p i j )))))
(listarray 'p)
(fasload puzzl1)
(start)
Piece 2 at 2
Piece 9 at 355
Piece 8 at 331
Piece 4 at 292
Piece 14 at 279
Piece 13 at 277
Piece 6 at 276
Piece 2 at 268
Piece 2 at 220
Piece 4 at 204
Piece 2 at 203
Piece 2 at 155
Piece 10 at 139
Piece 3 at 111
Piece 3 at 109
Piece 2 at 107
Piece 4 at 91
success in 2005 trials
NIL
;;; Here are the ones I've done so far:
(defun tak (x y z)
(catch 'tak (tak1 x y z)))
(defun tak1 (x y z)
(cond ((not (ilessp y x))
(throw 'tak z))
(t (tak1
(catch 'tak
(tak1 (isub1 x)
y
z))
(catch 'tak
(tak1 (isub1 y)
z
x))
(catch 'tak
(tak1 (isub1 z)
x
y))))))
(defun timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)))
;;; **************************************************
(defvar x)(defvar y)(defvar z)
(defun tak (x y z)
(stak))
(defun stak ()
(cond ((not (ilessp y x))
z)
(t (let ((x (let ((x (isub1 x))
(y y)
(z z))
(stak)))
(y (let ((x (isub1 y))
(y z)
(z x))
(stak)))
(z (let ((x (isub1 z))
(y x)
(z y))
(stak))))
(stak)))))
(defun timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)))
;;; **************************************************
(eval-when (compile) (localf tak))
(de tak (x y z)
(cond ((not (ilessp y x)) ;x≤y
z)
(t (tak (tak (isub1 x) y z)
(tak (isub1 y) z x)
(tak (isub1 z) x y)))))
(de timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)))
;;; **************************************************
(eval-when (compile) (localf tak))
(de tak (x y z)
(cond ((not (ilessp y x)) ;x≤y
z)
(t (tak (tak (isub1 x) y z)
(tak (isub1 y) z x)
(tak (isub1 z) x y)))))
(de timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)
(tak 18 12 6)))
;;; **************************************************
(defun listn (n)
(cond
((izerop n)
nil)
(t (cons n (listn (isub1 n))))))
(defun mas (x y z)
(cond
((not (shorterp y x))
z)
(t (mas (mas (cdr x)
y z)
(mas (cdr y)
z x)
(mas (cdr z)
x y)))))
(defun shorterp (x y)
(and y (or (null x)
(shorterp (cdr x)
(cdr y)))))
(setq 18l (listn 18)
12l (listn 12)
6l (listn 6))
(defun timit () (mas 18l 12l 6l))
;;; **************************************************
(DEFUN TAK0 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK1 (TAK37 (isub1 X) Y Z)
(TAK11 (isub1 Y) Z X)
(TAK17 (isub1 Z) X Y)))))
(DEFUN TAK1 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK2 (TAK74 (isub1 X) Y Z)
(TAK22 (isub1 Y) Z X)
(TAK34 (isub1 Z) X Y)))))
(DEFUN TAK2 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK3 (TAK11 (isub1 X) Y Z)
(TAK33 (isub1 Y) Z X)
(TAK51 (isub1 Z) X Y)))))
(DEFUN TAK3 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK4 (TAK48 (isub1 X) Y Z)
(TAK44 (isub1 Y) Z X)
(TAK68 (isub1 Z) X Y)))))
(DEFUN TAK4 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK5 (TAK85 (isub1 X) Y Z)
(TAK55 (isub1 Y) Z X)
(TAK85 (isub1 Z) X Y)))))
(DEFUN TAK5 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK6 (TAK22 (isub1 X) Y Z)
(TAK66 (isub1 Y) Z X)
(TAK2 (isub1 Z) X Y)))))
(DEFUN TAK6 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK7 (TAK59 (isub1 X) Y Z)
(TAK77 (isub1 Y) Z X)
(TAK19 (isub1 Z) X Y)))))
(DEFUN TAK7 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK8 (TAK96 (isub1 X) Y Z)
(TAK88 (isub1 Y) Z X)
(TAK36 (isub1 Z) X Y)))))
(DEFUN TAK8 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK9 (TAK33 (isub1 X) Y Z)
(TAK99 (isub1 Y) Z X)
(TAK53 (isub1 Z) X Y)))))
(DEFUN TAK9 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK10 (TAK70 (isub1 X) Y Z)
(TAK10 (isub1 Y) Z X)
(TAK70 (isub1 Z) X Y)))))
(DEFUN TAK10 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK11 (TAK7 (isub1 X) Y Z)
(TAK21 (isub1 Y) Z X)
(TAK87 (isub1 Z) X Y)))))
(DEFUN TAK11 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK12 (TAK44 (isub1 X) Y Z)
(TAK32 (isub1 Y) Z X)
(TAK4 (isub1 Z) X Y)))))
(DEFUN TAK12 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK13 (TAK81 (isub1 X) Y Z)
(TAK43 (isub1 Y) Z X)
(TAK21 (isub1 Z) X Y)))))
(DEFUN TAK13 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK14 (TAK18 (isub1 X) Y Z)
(TAK54 (isub1 Y) Z X)
(TAK38 (isub1 Z) X Y)))))
(DEFUN TAK14 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK15 (TAK55 (isub1 X) Y Z)
(TAK65 (isub1 Y) Z X)
(TAK55 (isub1 Z) X Y)))))
(DEFUN TAK15 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK16 (TAK92 (isub1 X) Y Z)
(TAK76 (isub1 Y) Z X)
(TAK72 (isub1 Z) X Y)))))
(DEFUN TAK16 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK17 (TAK29 (isub1 X) Y Z)
(TAK87 (isub1 Y) Z X)
(TAK89 (isub1 Z) X Y)))))
(DEFUN TAK17 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK18 (TAK66 (isub1 X) Y Z)
(TAK98 (isub1 Y) Z X)
(TAK6 (isub1 Z) X Y)))))
(DEFUN TAK18 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK19 (TAK3 (isub1 X) Y Z)
(TAK9 (isub1 Y) Z X)
(TAK23 (isub1 Z) X Y)))))
(DEFUN TAK19 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK20 (TAK40 (isub1 X) Y Z)
(TAK20 (isub1 Y) Z X)
(TAK40 (isub1 Z) X Y)))))
(DEFUN TAK20 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK21 (TAK77 (isub1 X) Y Z)
(TAK31 (isub1 Y) Z X)
(TAK57 (isub1 Z) X Y)))))
(DEFUN TAK21 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK22 (TAK14 (isub1 X) Y Z)
(TAK42 (isub1 Y) Z X)
(TAK74 (isub1 Z) X Y)))))
(DEFUN TAK22 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK23 (TAK51 (isub1 X) Y Z)
(TAK53 (isub1 Y) Z X)
(TAK91 (isub1 Z) X Y)))))
(DEFUN TAK23 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK24 (TAK88 (isub1 X) Y Z)
(TAK64 (isub1 Y) Z X)
(TAK8 (isub1 Z) X Y)))))
(DEFUN TAK24 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK25 (TAK25 (isub1 X) Y Z)
(TAK75 (isub1 Y) Z X)
(TAK25 (isub1 Z) X Y)))))
(DEFUN TAK25 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK26 (TAK62 (isub1 X) Y Z)
(TAK86 (isub1 Y) Z X)
(TAK42 (isub1 Z) X Y)))))
(DEFUN TAK26 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK27 (TAK99 (isub1 X) Y Z)
(TAK97 (isub1 Y) Z X)
(TAK59 (isub1 Z) X Y)))))
(DEFUN TAK27 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK28 (TAK36 (isub1 X) Y Z)
(TAK8 (isub1 Y) Z X)
(TAK76 (isub1 Z) X Y)))))
(DEFUN TAK28 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK29 (TAK73 (isub1 X) Y Z)
(TAK19 (isub1 Y) Z X)
(TAK93 (isub1 Z) X Y)))))
(DEFUN TAK29 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK30 (TAK10 (isub1 X) Y Z)
(TAK30 (isub1 Y) Z X)
(TAK10 (isub1 Z) X Y)))))
(DEFUN TAK30 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK31 (TAK47 (isub1 X) Y Z)
(TAK41 (isub1 Y) Z X)
(TAK27 (isub1 Z) X Y)))))
(DEFUN TAK31 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK32 (TAK84 (isub1 X) Y Z)
(TAK52 (isub1 Y) Z X)
(TAK44 (isub1 Z) X Y)))))
(DEFUN TAK32 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK33 (TAK21 (isub1 X) Y Z)
(TAK63 (isub1 Y) Z X)
(TAK61 (isub1 Z) X Y)))))
(DEFUN TAK33 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK34 (TAK58 (isub1 X) Y Z)
(TAK74 (isub1 Y) Z X)
(TAK78 (isub1 Z) X Y)))))
(DEFUN TAK34 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK35 (TAK95 (isub1 X) Y Z)
(TAK85 (isub1 Y) Z X)
(TAK95 (isub1 Z) X Y)))))
(DEFUN TAK35 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK36 (TAK32 (isub1 X) Y Z)
(TAK96 (isub1 Y) Z X)
(TAK12 (isub1 Z) X Y)))))
(DEFUN TAK36 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK37 (TAK69 (isub1 X) Y Z)
(TAK7 (isub1 Y) Z X)
(TAK29 (isub1 Z) X Y)))))
(DEFUN TAK37 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK38 (TAK6 (isub1 X) Y Z)
(TAK18 (isub1 Y) Z X)
(TAK46 (isub1 Z) X Y)))))
(DEFUN TAK38 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK39 (TAK43 (isub1 X) Y Z)
(TAK29 (isub1 Y) Z X)
(TAK63 (isub1 Z) X Y)))))
(DEFUN TAK39 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK40 (TAK80 (isub1 X) Y Z)
(TAK40 (isub1 Y) Z X)
(TAK80 (isub1 Z) X Y)))))
(DEFUN TAK40 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK41 (TAK17 (isub1 X) Y Z)
(TAK51 (isub1 Y) Z X)
(TAK97 (isub1 Z) X Y)))))
(DEFUN TAK41 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK42 (TAK54 (isub1 X) Y Z)
(TAK62 (isub1 Y) Z X)
(TAK14 (isub1 Z) X Y)))))
(DEFUN TAK42 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK43 (TAK91 (isub1 X) Y Z)
(TAK73 (isub1 Y) Z X)
(TAK31 (isub1 Z) X Y)))))
(DEFUN TAK43 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK44 (TAK28 (isub1 X) Y Z)
(TAK84 (isub1 Y) Z X)
(TAK48 (isub1 Z) X Y)))))
(DEFUN TAK44 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK45 (TAK65 (isub1 X) Y Z)
(TAK95 (isub1 Y) Z X)
(TAK65 (isub1 Z) X Y)))))
(DEFUN TAK45 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK46 (TAK2 (isub1 X) Y Z)
(TAK6 (isub1 Y) Z X)
(TAK82 (isub1 Z) X Y)))))
(DEFUN TAK46 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK47 (TAK39 (isub1 X) Y Z)
(TAK17 (isub1 Y) Z X)
(TAK99 (isub1 Z) X Y)))))
(DEFUN TAK47 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK48 (TAK76 (isub1 X) Y Z)
(TAK28 (isub1 Y) Z X)
(TAK16 (isub1 Z) X Y)))))
(DEFUN TAK48 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK49 (TAK13 (isub1 X) Y Z)
(TAK39 (isub1 Y) Z X)
(TAK33 (isub1 Z) X Y)))))
(DEFUN TAK49 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK50 (TAK50 (isub1 X) Y Z)
(TAK50 (isub1 Y) Z X)
(TAK50 (isub1 Z) X Y)))))
(DEFUN TAK50 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK51 (TAK87 (isub1 X) Y Z)
(TAK61 (isub1 Y) Z X)
(TAK67 (isub1 Z) X Y)))))
(DEFUN TAK51 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK52 (TAK24 (isub1 X) Y Z)
(TAK72 (isub1 Y) Z X)
(TAK84 (isub1 Z) X Y)))))
(DEFUN TAK52 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK53 (TAK61 (isub1 X) Y Z)
(TAK83 (isub1 Y) Z X)
(TAK1 (isub1 Z) X Y)))))
(DEFUN TAK53 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK54 (TAK98 (isub1 X) Y Z)
(TAK94 (isub1 Y) Z X)
(TAK18 (isub1 Z) X Y)))))
(DEFUN TAK54 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK55 (TAK35 (isub1 X) Y Z)
(TAK5 (isub1 Y) Z X)
(TAK35 (isub1 Z) X Y)))))
(DEFUN TAK55 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK56 (TAK72 (isub1 X) Y Z)
(TAK16 (isub1 Y) Z X)
(TAK52 (isub1 Z) X Y)))))
(DEFUN TAK56 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK57 (TAK9 (isub1 X) Y Z)
(TAK27 (isub1 Y) Z X)
(TAK69 (isub1 Z) X Y)))))
(DEFUN TAK57 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK58 (TAK46 (isub1 X) Y Z)
(TAK38 (isub1 Y) Z X)
(TAK86 (isub1 Z) X Y)))))
(DEFUN TAK58 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK59 (TAK83 (isub1 X) Y Z)
(TAK49 (isub1 Y) Z X)
(TAK3 (isub1 Z) X Y)))))
(DEFUN TAK59 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK60 (TAK20 (isub1 X) Y Z)
(TAK60 (isub1 Y) Z X)
(TAK20 (isub1 Z) X Y)))))
(DEFUN TAK60 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK61 (TAK57 (isub1 X) Y Z)
(TAK71 (isub1 Y) Z X)
(TAK37 (isub1 Z) X Y)))))
(DEFUN TAK61 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK62 (TAK94 (isub1 X) Y Z)
(TAK82 (isub1 Y) Z X)
(TAK54 (isub1 Z) X Y)))))
(DEFUN TAK62 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK63 (TAK31 (isub1 X) Y Z)
(TAK93 (isub1 Y) Z X)
(TAK71 (isub1 Z) X Y)))))
(DEFUN TAK63 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK64 (TAK68 (isub1 X) Y Z)
(TAK4 (isub1 Y) Z X)
(TAK88 (isub1 Z) X Y)))))
(DEFUN TAK64 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK65 (TAK5 (isub1 X) Y Z)
(TAK15 (isub1 Y) Z X)
(TAK5 (isub1 Z) X Y)))))
(DEFUN TAK65 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK66 (TAK42 (isub1 X) Y Z)
(TAK26 (isub1 Y) Z X)
(TAK22 (isub1 Z) X Y)))))
(DEFUN TAK66 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK67 (TAK79 (isub1 X) Y Z)
(TAK37 (isub1 Y) Z X)
(TAK39 (isub1 Z) X Y)))))
(DEFUN TAK67 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK68 (TAK16 (isub1 X) Y Z)
(TAK48 (isub1 Y) Z X)
(TAK56 (isub1 Z) X Y)))))
(DEFUN TAK68 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK69 (TAK53 (isub1 X) Y Z)
(TAK59 (isub1 Y) Z X)
(TAK73 (isub1 Z) X Y)))))
(DEFUN TAK69 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK70 (TAK90 (isub1 X) Y Z)
(TAK70 (isub1 Y) Z X)
(TAK90 (isub1 Z) X Y)))))
(DEFUN TAK70 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK71 (TAK27 (isub1 X) Y Z)
(TAK81 (isub1 Y) Z X)
(TAK7 (isub1 Z) X Y)))))
(DEFUN TAK71 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK72 (TAK64 (isub1 X) Y Z)
(TAK92 (isub1 Y) Z X)
(TAK24 (isub1 Z) X Y)))))
(DEFUN TAK72 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK73 (TAK1 (isub1 X) Y Z)
(TAK3 (isub1 Y) Z X)
(TAK41 (isub1 Z) X Y)))))
(DEFUN TAK73 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK74 (TAK38 (isub1 X) Y Z)
(TAK14 (isub1 Y) Z X)
(TAK58 (isub1 Z) X Y)))))
(DEFUN TAK74 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK75 (TAK75 (isub1 X) Y Z)
(TAK25 (isub1 Y) Z X)
(TAK75 (isub1 Z) X Y)))))
(DEFUN TAK75 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK76 (TAK12 (isub1 X) Y Z)
(TAK36 (isub1 Y) Z X)
(TAK92 (isub1 Z) X Y)))))
(DEFUN TAK76 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK77 (TAK49 (isub1 X) Y Z)
(TAK47 (isub1 Y) Z X)
(TAK9 (isub1 Z) X Y)))))
(DEFUN TAK77 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK78 (TAK86 (isub1 X) Y Z)
(TAK58 (isub1 Y) Z X)
(TAK26 (isub1 Z) X Y)))))
(DEFUN TAK78 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK79 (TAK23 (isub1 X) Y Z)
(TAK69 (isub1 Y) Z X)
(TAK43 (isub1 Z) X Y)))))
(DEFUN TAK79 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK80 (TAK60 (isub1 X) Y Z)
(TAK80 (isub1 Y) Z X)
(TAK60 (isub1 Z) X Y)))))
(DEFUN TAK80 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK81 (TAK97 (isub1 X) Y Z)
(TAK91 (isub1 Y) Z X)
(TAK77 (isub1 Z) X Y)))))
(DEFUN TAK81 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK82 (TAK34 (isub1 X) Y Z)
(TAK2 (isub1 Y) Z X)
(TAK94 (isub1 Z) X Y)))))
(DEFUN TAK82 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK83 (TAK71 (isub1 X) Y Z)
(TAK13 (isub1 Y) Z X)
(TAK11 (isub1 Z) X Y)))))
(DEFUN TAK83 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK84 (TAK8 (isub1 X) Y Z)
(TAK24 (isub1 Y) Z X)
(TAK28 (isub1 Z) X Y)))))
(DEFUN TAK84 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK85 (TAK45 (isub1 X) Y Z)
(TAK35 (isub1 Y) Z X)
(TAK45 (isub1 Z) X Y)))))
(DEFUN TAK85 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK86 (TAK82 (isub1 X) Y Z)
(TAK46 (isub1 Y) Z X)
(TAK62 (isub1 Z) X Y)))))
(DEFUN TAK86 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK87 (TAK19 (isub1 X) Y Z)
(TAK57 (isub1 Y) Z X)
(TAK79 (isub1 Z) X Y)))))
(DEFUN TAK87 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK88 (TAK56 (isub1 X) Y Z)
(TAK68 (isub1 Y) Z X)
(TAK96 (isub1 Z) X Y)))))
(DEFUN TAK88 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK89 (TAK93 (isub1 X) Y Z)
(TAK79 (isub1 Y) Z X)
(TAK13 (isub1 Z) X Y)))))
(DEFUN TAK89 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK90 (TAK30 (isub1 X) Y Z)
(TAK90 (isub1 Y) Z X)
(TAK30 (isub1 Z) X Y)))))
(DEFUN TAK90 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK91 (TAK67 (isub1 X) Y Z)
(TAK1 (isub1 Y) Z X)
(TAK47 (isub1 Z) X Y)))))
(DEFUN TAK91 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK92 (TAK4 (isub1 X) Y Z)
(TAK12 (isub1 Y) Z X)
(TAK64 (isub1 Z) X Y)))))
(DEFUN TAK92 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK93 (TAK41 (isub1 X) Y Z)
(TAK23 (isub1 Y) Z X)
(TAK81 (isub1 Z) X Y)))))
(DEFUN TAK93 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK94 (TAK78 (isub1 X) Y Z)
(TAK34 (isub1 Y) Z X)
(TAK98 (isub1 Z) X Y)))))
(DEFUN TAK94 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK95 (TAK15 (isub1 X) Y Z)
(TAK45 (isub1 Y) Z X)
(TAK15 (isub1 Z) X Y)))))
(DEFUN TAK95 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK96 (TAK52 (isub1 X) Y Z)
(TAK56 (isub1 Y) Z X)
(TAK32 (isub1 Z) X Y)))))
(DEFUN TAK96 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK97 (TAK89 (isub1 X) Y Z)
(TAK67 (isub1 Y) Z X)
(TAK49 (isub1 Z) X Y)))))
(DEFUN TAK97 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK98 (TAK26 (isub1 X) Y Z)
(TAK78 (isub1 Y) Z X)
(TAK66 (isub1 Z) X Y)))))
(DEFUN TAK98 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK99 (TAK63 (isub1 X) Y Z)
(TAK89 (isub1 Y) Z X)
(TAK83 (isub1 Z) X Y)))))
(DEFUN TAK99 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK0 (TAK0 (isub1 X) Y Z)
(TAK0 (isub1 Y) Z X)
(TAK0 (isub1 Z) X Y)))))
(de timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)))
∂30-Apr-84 1241 KESSLER@UTAH-20.ARPA Cray timings
Received: from UTAH-20.ARPA by SU-AI.ARPA with TCP; 30 Apr 84 12:38:02 PDT
Date: Mon 30 Apr 84 13:38:43-MDT
From: Robert R. Kessler <KESSLER@UTAH-20.ARPA>
Subject: Cray timings
To: rpg@SU-AI.ARPA, Griss@UTAH-20.ARPA
Here are the numbers as of this morning. Note, about 3 tests don't
work due to missing function wgetv, which Wayne is trying to correct,
defstruct isn't on the cray yet, so another one doesn't work. Finally,
the 2nd fploy test is incorrect, since it requires big nums, which also
isn't on there yet. I'll forward the wgetv numbers if and when I get
them. At least this will give a flavor of the speed. Notice I edited out
the function definitions, so you can extract what you need (I hope).
Bob.
-----------------
08:17:57 000:55.326 ------------------------------------------------------------$2 ε
08:17:58 000:55.847 Boyer Test
08:19:08 001:23.710 Cpu (- GC) Time = 1852.68500000 secs$2 ε
08:19:10 001:24.230 Elapsed Time = 0. secs
08:19:11 001:24.751 GC Time = 7592.79600000 secs$2 ε
08:19:13 001:25.272 Load Average Before = 0
08:19:15 001:25.792 Load Average After = 0
08:19:16 001:26.312 Average Load Average = 0.
08:19:19 001:26.834 ------------------------------------------------------------$2 ε
08:20:50 001:56.881 browse
08:22:11 002:23.844 Cpu (- GC) Time = 4676.80400000 secs$2 ε
08:22:13 002:24.365 Elapsed Time = 0. secs
08:22:17 002:24.885 GC Time = 5326.86400000 secs$2 ε
08:22:19 002:25.406 Load Average Before = 0
08:22:21 002:25.926 Load Average After = 0
08:22:24 002:26.447 Average Load Average = 0.
08:22:28 002:26.968 ------------------------------------------------------------$2 ε
08:23:55 002:52.110 DDeriv Test, also same as FDDeriv
08:24:36 003:05.621 Cpu (- GC) Time = 1422.06800000 secs$2 ε
08:24:37 003:06.141 Elapsed Time = 0. secs
08:24:39 003:06.662 GC Time = 2506.81300000 secs$2 ε
08:24:41 003:07.182 Load Average Before = 0
08:24:43 003:07.703 Load Average After = 0
08:24:45 003:08.223 Average Load Average = 0.
08:24:47 003:08.744 ------------------------------------------------------------$2 ε
08:26:10 003:30.927 Deriv Test.$2 π
08:26:42 003:41.959 Cpu (- GC) Time = 1279.98200000 secs$2 ε
08:26:44 003:42.480 Elapsed Time = 0. secs
08:26:45 003:43.000 GC Time = 1877.91400000 secs$2 ε
08:26:47 003:43.521 Load Average Before = 0
08:26:49 003:44.041 Load Average After = 0
08:26:50 003:44.561 Average Load Average = 0.
08:27:53 004:04.818 ------------------------------------------------------------$2 ε
08:27:55 004:05.339 `Destructive' Test
08:28:05 004:07.958 Cpu (- GC) Time = 451.72600000 secs$2 π
08:28:07 004:08.479 Elapsed Time = 0. secs
08:28:09 004:08.999 GC Time = 0. secs
08:28:10 004:09.519 Load Average Before = 0
08:28:12 004:10.039 Load Average After = 0
08:28:15 004:10.560 Average Load Average = 0.
08:28:17 004:11.081 ------------------------------------------------------------$2 ε
08:29:54 004:35.273 Div test 1, iterative version of div$2 ε
08:30:17 004:40.884 Cpu (- GC) Time = 580.90000000 secs$2 π
08:30:18 004:41.405 Elapsed Time = 0. secs
08:30:20 004:41.925 GC Time = 639.91100000 secs$2 π
08:30:22 004:42.446 Load Average Before = 0
08:30:24 004:42.966 Load Average After = 0
08:30:30 004:43.487 Average Load Average = 0.
08:30:32 004:44.008 ------------------------------------------------------------$2 ε
08:30:55 004:48.384 Div test 2, recursive version of div$2 ε
08:31:18 004:53.989 Cpu (- GC) Time = 575.17000000 secs$2 π
08:31:25 004:54.510 Elapsed Time = 0. secs
08:31:33 004:55.031 GC Time = 640.19100000 secs$2 π
08:31:43 004:55.551 Load Average Before = 0
08:31:44 004:56.072 Load Average After = 0
08:31:46 004:56.592 Average Load Average = 0.
08:31:48 004:57.113 ------------------------------------------------------------$2 ε
08:50:22 008:16.452 Fprint Test$2 π
08:50:43 008:22.907 Cpu (- GC) Time = 3617.90000000 secs$2 ε
08:50:44 008:23.428 Elapsed Time = 0. secs
08:50:48 008:23.948 GC Time = 0. secs
08:50:51 008:24.468 Load Average Before = 0
08:50:53 008:24.988 Load Average After = 0
08:50:55 008:25.509 Average Load Average = 0.
08:50:58 008:26.030 ------------------------------------------------------------$2 ε
08:52:56 008:41.891 fread test
08:54:04 009:08.283 Cpu (- GC) Time = 2.04078770e+04 secs$2 ¬
08:54:06 009:08.803 Elapsed Time = 0. secs
08:54:08 009:09.324 GC Time = 0. secs
08:54:10 009:09.844 Load Average Before = 0
08:54:12 009:10.364 Load Average After = 0
08:54:15 009:10.885 Average Load Average = 0.
08:54:17 009:11.406 ------------------------------------------------------------$2 ε
09:04:04 011:21.576 tprint test$2 π
09:11:03 012:35.839 Cpu (- GC) Time = 189.95300000 secs$2 π
09:11:05 012:36.359 Elapsed Time = 0. secs
09:11:07 012:36.880 GC Time = 0. secs
09:11:09 012:37.400 Load Average Before = 0
09:11:11 012:37.920 Load Average After = 0
09:11:13 012:38.440 Average Load Average = 0.
09:16:42 013:42.221 ------------------------------------------------------------$2 ε
09:16:47 013:42.743 TAK: Takai test, (TAK 18 12 6)
09:16:55 013:44.879 Cpu (- GC) Time = 44.68900000 secs
09:16:57 013:45.399 Elapsed Time = 0. secs
09:16:59 013:45.920 GC Time = 0. secs
09:17:01 013:46.440 Load Average Before = 0
09:17:03 013:46.960 Load Average After = 0
09:17:08 013:47.480 Average Load Average = 0.
09:17:10 013:48.002 ------------------------------------------------------------$2 ε
09:17:23 013:51.870 TAK: Takai test, (tak 10018 10012 10006)
09:17:32 013:54.006 Cpu (- GC) Time = 45.01200000 secs
09:17:35 013:54.527 Elapsed Time = 0. secs
09:17:37 013:55.047 GC Time = 0. secs
09:17:39 013:55.567 Load Average Before = 0
09:17:41 013:56.087 Load Average After = 0
09:17:43 013:56.608 Average Load Average = 0.
09:17:45 013:57.129 ------------------------------------------------------------$2 ε
09:19:05 014:08.269 TAKL: Takai test with lists$2 π
09:19:13 014:10.716 Cpu (- GC) Time = 306.72600000 secs$2 π
09:19:14 014:11.237 Elapsed Time = 0. secs
09:19:16 014:11.757 GC Time = 0. secs
09:19:18 014:12.277 Load Average Before = 0
09:19:20 014:12.797 Load Average After = 0
09:19:22 014:13.318 Average Load Average = 0.
09:26:32 015:46.151 ------------------------------------------------------------$2 ε
09:26:34 015:46.673 TAKR: Takai test--Gross Version with Lots of functions
09:26:42 015:48.838 Cpu (- GC) Time = 69.02000000 secs
09:26:44 015:49.359 Elapsed Time = 0. secs
09:26:46 015:49.879 GC Time = 0. secs
09:26:48 015:50.399 Load Average Before = 0
09:26:49 015:50.919 Load Average After = 0
09:26:51 015:51.440 Average Load Average = 0.
09:26:53 015:51.961 ------------------------------------------------------------$2 ε
09:27:33 016:01.501 STAK: Takai test using fluid binding$2 ε
09:27:53 016:04.913 Cpu (- GC) Time = 1119.51800000 secs$2 ε
09:27:55 016:05.433 Elapsed Time = 0. secs
09:27:56 016:05.953 GC Time = 0. secs
09:27:58 016:06.473 Load Average Before = 0
09:28:00 016:06.994 Load Average After = 0
09:28:02 016:07.514 Average Load Average = 0.
09:28:03 016:08.035 ------------------------------------------------------------$2 ε
09:29:01 016:17.075 CTAK: Takai test using catch and throw
09:29:26 016:19.878 Cpu (- GC) Time = 606.33700000 secs$2 π
09:29:28 016:20.398 Elapsed Time = 0. secs
09:29:30 016:20.918 GC Time = 0. secs
09:29:31 016:21.439 Load Average Before = 0
09:29:33 016:21.959 Load Average After = 0
09:29:35 016:22.479 Average Load Average = 0.
09:29:37 016:23.001 ------------------------------------------------------------$2 ε
09:33:02 017:13.321 FPOLY test 1$2 ε
09:33:10 017:15.405 Cpu (- GC) Time = 1.31200000 secs
09:33:12 017:15.926 Elapsed Time = 0. secs
09:33:13 017:16.446 GC Time = 0. secs
09:33:23 017:16.966 Load Average Before = 0
09:33:32 017:17.486 Load Average After = 0
09:33:36 017:18.007 Average Load Average = 0.
09:33:53 017:21.334 ------------------------------------------------------------$2 ε
09:33:54 017:21.855 FPOLY test 2$2 ε
09:34:01 017:23.939 Cpu (- GC) Time = 1.31000000 secs
09:34:03 017:24.459 Elapsed Time = 0. secs
09:34:05 017:24.980 GC Time = 0. secs
09:34:07 017:25.500 Load Average Before = 0
09:34:09 017:26.020 Load Average After = 0
09:34:10 017:26.541 Average Load Average = 0.
09:34:12 017:27.062 ------------------------------------------------------------$2 ε
09:34:23 017:30.389 FPOLY test 3$2 ε
09:34:35 017:32.474 Cpu (- GC) Time = 1.93400000 secs
09:34:42 017:32.994 Elapsed Time = 0. secs
09:34:46 017:33.515 GC Time = 0. secs
09:34:50 017:34.035 Load Average Before = 0
09:34:55 017:34.555 Load Average After = 0
09:34:57 017:35.077 Average Load Average = 0.
09:34:59 017:35.598 ------------------------------------------------------------$2 ε
09:35:02 017:36.691 |||||||||||||||FPOLY benchmark, N = 5|||||||||||||||$2 ε
09:35:16 017:40.018 FPOLY test 1$2 ε
09:35:35 017:42.116 Cpu (- GC) Time = 13.34000000 secs
09:35:37 017:42.636 Elapsed Time = 0. secs
09:35:39 017:43.157 GC Time = 0. secs
09:35:41 017:43.677 Load Average Before = 0
09:35:42 017:44.197 Load Average After = 0
09:35:44 017:44.718 Average Load Average = 0.
09:35:48 017:45.239 ------------------------------------------------------------$2 ε
09:36:11 017:48.574 FPOLY test 2$2 ε
09:36:21 017:50.668 Cpu (- GC) Time = 9.60700000 secs
09:36:23 017:51.188 Elapsed Time = 0. secs
09:36:25 017:51.709 GC Time = 0. secs
09:36:28 017:52.229 Load Average Before = 0
09:36:30 017:52.749 Load Average After = 0
09:36:38 017:53.270 Average Load Average = 0.
09:36:41 017:53.791 ------------------------------------------------------------$2 ε
09:36:52 017:57.122 FPOLY test 3$2 ε
09:37:04 017:59.228 Cpu (- GC) Time = 20.18400000 secs
09:37:05 017:59.748 Elapsed Time = 0. secs
09:37:22 018:00.269 GC Time = 0. secs
09:37:24 018:00.789 Load Average Before = 0
09:37:26 018:01.309 Load Average After = 0
09:37:29 018:01.830 Average Load Average = 0.
09:37:31 018:02.351 ------------------------------------------------------------$2 ε
09:37:34 018:03.471 |||||||||||||||FPOLY benchmark, N = 10|||||||||||||||$2 ¬
09:37:52 018:06.809 FPOLY test 1$2 ε
09:38:01 018:09.060 Cpu (- GC) Time = 142.37800000 secs$2 π
09:38:03 018:09.581 Elapsed Time = 0. secs
09:38:06 018:10.101 GC Time = 0. secs
09:38:08 018:10.621 Load Average Before = 0
09:38:13 018:11.141 Load Average After = 0
09:38:15 018:11.662 Average Load Average = 0.
09:38:17 018:12.183 ------------------------------------------------------------$2 ε
09:38:41 018:15.594 FPOLY test 2$2 ε
09:38:50 018:17.715 Cpu (- GC) Time = 33.05000000 secs
09:38:52 018:18.235 Elapsed Time = 0. secs
09:38:58 018:18.755 GC Time = 0. secs
09:38:59 018:19.275 Load Average Before = 0
09:39:01 018:19.796 Load Average After = 0
09:39:07 018:20.316 Average Load Average = 0.
09:39:08 018:20.837 ------------------------------------------------------------$2 ε
09:39:20 018:24.173 FPOLY test 3$2 ε
09:39:32 018:26.527 Cpu (- GC) Time = 229.48300000 secs$2 π
09:39:42 018:27.047 Elapsed Time = 0. secs
09:39:43 018:27.568 GC Time = 0. secs
09:39:54 018:28.088 Load Average Before = 0
09:39:57 018:28.608 Load Average After = 0
09:40:00 018:29.128 Average Load Average = 0.
09:40:05 018:29.649 ------------------------------------------------------------$2 ε
09:40:09 018:30.720 |||||||||||||||FPOLY benchmark, N = 15|||||||||||||||$2 ¬
09:40:35 018:34.174 FPOLY test 1$2 ε
09:40:45 018:37.374 Cpu (- GC) Time = 941.71600000 secs$2 π
09:40:54 018:37.894 Elapsed Time = 0. secs
09:40:56 018:38.414 GC Time = 0. secs
09:40:58 018:38.934 Load Average Before = 0
09:41:01 018:39.455 Load Average After = 0
09:41:04 018:39.975 Average Load Average = 0.
09:41:05 018:40.496 ------------------------------------------------------------$2 ε
09:41:19 018:44.249 FPOLY test 2$2 ε
09:41:30 018:46.391 Cpu (- GC) Time = 50.18300000 secs
09:41:33 018:46.911 Elapsed Time = 0. secs
09:41:34 018:47.431 GC Time = 0. secs
09:41:37 018:47.951 Load Average Before = 0
09:41:40 018:48.472 Load Average After = 0
09:41:42 018:48.992 Average Load Average = 0.
09:41:44 018:49.513 ------------------------------------------------------------$2 ε
09:42:01 018:52.861 FPOLY test 3$2 ε
09:42:21 018:59.617 Cpu (- GC) Time = 1605.61400000 secs$2 ε
09:42:22 019:00.139 Elapsed Time = 0. secs
09:42:24 019:00.659 GC Time = 580.25800000 secs$2 π
09:42:26 019:01.179 Load Average Before = 0
09:42:28 019:01.700 Load Average After = 0
09:42:30 019:02.220 Average Load Average = 0.
09:42:32 019:02.741 ------------------------------------------------------------$2 ε
14:25:53 001:22.341 Puzzle test
14:26:11 001:26.658 Cpu (- GC) Time = 1007.13500000 secs
14:26:14 001:27.178 Elapsed Time = 0. secs
14:26:18 001:27.699 GC Time = 0. secs
14:26:20 001:28.219 Load Average Before = 0
14:26:36 001:28.739 Load Average After = 0
14:26:40 001:29.260 Average Load Average = 0.
14:28:38 001:56.405 ------------------------------------------------------------
14:28:40 001:56.926 Triang test
14:29:57 002:16.273 Cpu (- GC) Time = 1.45426160e+04 secs
14:29:58 002:16.794 Elapsed Time = 0. secs
14:30:00 002:17.314 GC Time = 0. secs
14:30:02 002:17.834 Load Average Before = 0
14:30:03 002:18.354 Load Average After = 0
14:30:05 002:18.875 Average Load Average = 0.
14:30:07 002:19.396 ------------------------------------------------------------